Search CORE

8 research outputs found

Normalfunktion und konstruktive Systeme von Ordinalzahlen

Author: Buchholz Wilfried
Diller Justus
Müller Gert Heinz
Publication venue: Ludwig-Maximilians-Universität München
Publication date: 01/01/1975
Field of study

Open Access LMU

International Summer Institute and Logic Colloquium

Author: Diller Justus
Müller Gert
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1975
Field of study

CERN Document Server

G-Hüllen metrischer Teilräume.

Author: Diller Justus
Grenzdörffer Jochen
Publication venue
Publication date
Field of study

DigiZeitschriften - OAI Frontend

Simultane Rekursionen in der Theorie der Funktionale endlicher Typen

Author: C. Spector
Justus Diller
K. Gödel
Kurt Schütte
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Buchbesprechungen

Author: G. -M. Schwab
H. F. Linskens
Justus Diller
O. Madelung
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1965
Field of study

ISILC proof theory symposium /

Author: Diller Justus(viaf)64503575
Schütte Kurt,1909-1998(viaf)39893518
Publication venue: Berlin : Springer,
Publication date
Field of study

Dedicated to Kurt Schutte on the occasion of his 65th birthday. Proceedings of the international summer institute and logic colloquium, Kiel 197

Archivsystem Ask23

Eine algebraische Beschreibung der metrischen Ebenen mit ineinander beweglichen Geraden

Author: F. Bachmann
F. Bachmann
Justus Diller
N. Bourbaki
W. Pejas
W. Pejas
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen

Author: A. S. Troelstra
C. Spector
J. Diller
J. R. Shoenfield
Justus Diller
K. Gödel
K. Schütte
M. Yasugi
S. C. Kleene
W. A. Howard
W. A. Howard
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core